Modal logic and logic of fiction

Modal Logic As Dialogical Logic

The title reflects my conviction that, viewed semantically, modal logic is fundamentally dialogical; this conviction is based on the key role played by the notion of bisimulation in modal model theory. But this dialogical conception of modal logic does not seem to apply to modal proof theory, which is notoriously messy. Nonetheless, by making use of ideas which trace back to Arthur Prior (notab...

Probability, Modal Logic and Fuzzy Logic

Fuzziness is often regarded as a special form of uncertainty, possibly related to probability but not necessarily reducible to the latter. Indeed, all the mathematical techniques that have been proposed to model fuzziness are substantially different from probabilistic methods, albeit sometimes loosely similar. As shown in this paper, a particular form of fuzzy logic can be derived from probabil...

Modal Logic

Temporal and Modal Logic

We give a comprehensive and unifying survey of the theoretical aspects of Temporal and Modal Logic Note This paper is to appear in the Handbook of Theoretical Computer Science J van Leeuwen managing editor North Holland Pub Co Work supported in part by US NSF Grant CCR ONR Contract N K and Netherlands ZWO grant nf nfb

Modal logic and invariance

Consider any logical system, what is its natural repertoire of logical operations? This question has been raised in particular for first-order logic and its extensions with generalized quantifiers, and various characterizations in terms of semantic invariance have been proposed. In this paper, our main concern is with modal and dynamic logics. Drawing on previous work on invariance for first-or...